\pagestyle{plain}
%\section*{List of Abbreviations}
\section
*{List of Abbreviations}
\begin{tabbing}
123456789012345\=\kill
$\adv$\>algorithm or protocol adversary\\
\end{tabbing}
